mechanization of mathematics
數學機械化
熱門查詢
- metallicity n. 金屬物；金屬性
- mighty adj. 有力的；強有力的；有勢力的 adv. 很；極；非常 n. 有勢力的人
- lambaste vt. 痛打；嚴責；鞭打
- milliliter n. 毫升
- bronchi n. 細支氣管（bronchus的復數） n. (Bronchi)人名；(意)布龍基
- nothing neg. 沒什么；毫不 n. 無；零；不關緊要之事 adv. 毫不；決不 pron. 無事；無物 int. 什么也沒有
- Dunleavy [人名] [愛爾蘭姓氏] 鄧利維蓋爾語姓氏的英語形式，來源于人名，含義是“褐+山”(brown+mountain)
- danceable adj. （指音樂）適合跳舞的（名詞danceability）
- truffle n. [植] 松露；塊菌；松露巧克力糖
- nationalise vt. 把…收歸國有；使具有某國國籍；使成國家
- interpreter n. 解釋者；口譯者；注釋器
- goober n. 花生；落花生（等于goober pea）
- indices n. 指數；目錄（index的復數）
- troop vt. 把（騎兵）編成騎兵連 vi. 群集；成群而行；結隊 n. 軍隊；組；群；多數
- rumour n. 謠言 vt. 傳聞
- Jarvis n. 賈維斯(m.)
- Disneyesque 迪斯尼式的
- rejected v. 拒絕，駁回（reject的過去分詞形式） adj. 被拒的；不合格的
- trench n. 溝，溝渠；戰壕；塹壕 vt. 掘溝 vi. 挖戰壕；侵害 n. (Trench)人名；(英、西)特倫奇
- Pryce [人名] [威爾士人、英格蘭人姓氏] 普賴斯 Price的變體
